COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	AUTOMATIC PROGRAMMING - BREAKDOWN
C00008 ENDMK
C⊗;
AUTOMATIC PROGRAMMING - BREAKDOWN
	I) PROGRAM SPECIFICATION TECHNIQUES
		A) NATURAL LANGUAGE TO SPECIFY ALGORITHMS
			i) HEIDORN'S SYSTEM
			ii) OWL
			iii) ISI WORK
		B) EXAMPLES
			i) HARDY'S WORK
			ii) SHAW'S AND SWARTOUT'S WORK
			iii) SIKLOSSY'S WORK
		C) TRACES
			i) BIERMAN'S WORK
			ii) SIKLOSSY'S WORK
			iii) BAUER'S WORK
		D) VERY HIGH LEVEL LANGUAGES
			i) EXTENDABLE LANGUAGES
			ii) SET ORIENTED LANGUAGES
		E) PREDICATE LOGIC
	II) PROBLEM TRANSFORMATION TECHNIQUES (AUTOMATIC CODING)
		A) THEOREM PROVING
		B) STANDARD PROBLEM SOLVING TECHNIQUES
		C) DEBUGGING TECHNIQUES (SUSSMAN)
	III) PROGRAM TRANSFORMATION TECHNIQUES
		A) DARLINGTON'S & BURSTALL'S WORK
		B) JIM LOW'S WORK
	IV) LEARNING SYSTEMS
	V) UNDERSTANDING SYSTEMS
	VI) PROGRAM VERIFICATION
	VII) PROGRAMMER'S AID

⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗
For a complete anotated bibliography see APBIB[1,WTL]@SAI.
⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗⊗